---

resolution refutation system

英 [ˌrezəˈluːʃn ˌrefjuˈteɪʃn ˈsɪstəm] 美 [ˌrezəˈluːʃn ˌrefjuˈteɪʃn ˈsɪstəm]

【计】归结反演系统

计算机

---

---